Step of Proof: inconsistent-bool-eq
11,40
postcript
pdf
Inference at
*
1
1
1
I
of proof for Lemma
inconsistent-bool-eq
:
1. (inl
) = (inr
)
2. 0 = 1
False
latex
by Auto
latex
.
Definitions
False
,
Void
origin
) = (inr )
False
by Auto
. ) = (inr )
False
by Auto
.